1. Advanced digital logic design : using VHDL, state machines, and synthesi for FPGAS
Author: Sunggu Lee
Library: Library of Urmia University of Technology (West Azarbaijan)
Subject: Logic design--Data processing,Digital electronics,Verilog (Computer hardware description language),Sequential machine theory,Application specific integrated circuits
Classification :
TK
,
7868
,
L6L44
,
2006


2. #Advanced digital logic design using verilog, state machines, and synthesis for FPGAs
Author: #Sunggu Lee
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Logic design ،Digital electronics. ،Verilog )Computer hardware description language( ،Sequential machine theory. ،Application-specific integrated circuits
Classification :
#
TK
،#.
L6L44
،#
2006


3. Digital system test and testable design
Author: Zainalabedin Navabi
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Digital integrated circuits, Testing,Digital integrated circuits, Design and construction,Verilog (Computer hardware description language)
Classification :
TK
،
7874
،.
N38
،
2011


4. HDL chip design: a practical guide for designing, synthesizing, and simulating ASICs and FPGAs using VHDL or Verilog
Author: Smith, Douglas J
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Application specific integrated circuits-- Computer-aided design,، Field programmable gate arrays-- Computer-aided design,، Logic design-- Data processing,، VHDL )Computer hardware description language(,، Verilog )Computer hardware description language(
Classification :
TK
7874
.
6
.
S62
1996


5. Hardware verification with SystemVerilog
Author: / Mike Mintz, Robert Ekendahl
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Verilog (Computer hardware description language),Integrated circuits--Verification,Object-oriented programming (Computer science)
Classification :
TK
,
7885
.
7
,.
M56
,
2007


6. Hardware verification with SystemVerilog
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: oriented programming (Computer science) ; -Verilog (Computer hardware description language) ; Integrated circuits ; Verification. ; Object

7. Principles of verifiable RTL design
Author: / Lionel Bening and Harry Foster
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Integrated circuits- Very large scale integration- Computer-aided design,Verilog (Computer hardware description language),Electronic digital computers- Computer-aided design
Classification :
TK7874
.
75
.
B47
2001


8. Principles of verifiable RTL design
Author: / Lionel Bening and Harry Foster
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Integrated circuits- Very large scale integration- Computer-aided design,Verilog (Computer hardware description language),Electronic digital computers- Computer-aided design
Classification :
E-BOOK

9. Principles of verifiable RTL design :a functional coding style supporting verification processes in Verilog
Author: Bening, Lionel
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: Very large scale integration Computer-aided design ، Integrated circuits,، Verilog )Computer hardware description language(,Computer-aided design ، Electronic digital computers
Classification :
TK
7874
.
75
.
B47
2001


10. Principles of verifiable RTL design :a functional coding style supporting verification processes in Verilog
Author: Bening, Lionel
Library: Central Library of Hamedan University of Technology (Hamedan)
Subject: Very large scale integration Computer-aided design ، Integrated circuits,، Verilog )Computer hardware description language(,Computer-aided design ، Electronic digital computers
Classification :
TK
7874
.
75
.
B47


11. Step-by-step functional verification with SystemVerilog and OVM /
Author: by Iman Sasan
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Integrated circuits-- Verification,Verilog (Computer hardware description language)

12. System verilog for verification :a guide to learning the testbench language features
Author: Spear, Chris.
Library: Central Library of Hamedan University of Technology (Hamedan)
Subject: ، Verilog )Computer hardware description language(,Verification ، Integrated circuits
Classification :
TK
7885
.
7
.
S67


13. SystemVerilog For Verification : A Guide To Learning The Testbench Language Features
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Verilog (Computer hardware description language),Integrated circuits - Verification,وریلاگ )زبان توصیفی سخت افزار کامپیوتر(,مدارهای مجتمع - تشخیص,Spear, Chris.
Classification :
CD-B
,
TK
,
7885
,.
7
,.
S67
,
2006

14. SystemVerilog assertions and functional coverage :guide to language, methodology and applications
Author: Mehta, Ashok B.,Ashok B. Mehta
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Verilog )Computer hardware description language(,Design and construction ، Electronic digital computers,Verification ، Integrated circuits,، Engineering,، Circuits and Systems,، Electronics and Microelectronics, Instrumentation,، Processor Architectures
Classification :
TK7885
.
7


15. SystemVerilog for verification
Author: / Chris Spear
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Verilog (Computer hardware description language),Integrated circuits- Verification
Classification :
TK7885
.
7
.
S67
2006


16. #SystemVerilog for verification
Author: #Chris Spear
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Verilog )Computer hardware description language( ،Integrated circuits
Classification :
#
TK
،#.
S67
،#
2008


17. SystemVerilog for verification
Author: / Chris Spear
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Verilog (Computer hardware description language),Integrated circuits- Verification
Classification :
E-BOOK

18. SystemVerilog for verification
Author: / Chris Spear., Spear, Chris.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Verilog (Computer hardware description language), Integrated circuits--Verification.
Classification :
TK
7885
.
7
.
S67
2006


19. Systemverilog assertions and functional coverage: guide to language, methodology and applications
Author: Mehta, Ashok B.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Verilog )Computer hardware description language(,، Electronic digital computers - Design and construction,، Integrated circuits - Verification
Classification :
TK
7885
.
7
.
M4
2014


20. Systemverilog for verification :
Author:
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Verilog (Computer hardware description language),Integrated circuits , Verification
Classification :
E-BOOK
